seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access

Source URL: sel4.org

• Gernot Heiser
• L4 microkernel family
• Formal verification
• Real-time operating systems
• Kernel
• Computer security
• Integrity
• Mach
• Ring
• Computer architecture
• Trusted computing base
• Microkernel

A Computer Language Transformation System Capable of Generalized Context-Dependent Parsing by Adrian D. Thurston

Source URL: www.colm.net

• Programming language theory
• Compiler construction
• Parsing
• LR parser
• TXL
• Earley parser
• CYK algorithm
• Formal grammar
• Programming language
• Formal languages
• Combinatorics
• Software engineering

Diploma thesis Developing formal technique for capturing requirements using the ForTheL language and the SAD system (Initial Draft) Document History

Source URL: www.protsyk.com

Embedding Formal Techniques into Industrial Product Development Experiences with the DESTECS approach Marcel Verhoef Chess eT International B.V.

Source URL: fm2012.cnam.fr

• Prevention
• Systems science
• Dependability
• Embedded system
• Fault injection
• Fault-tolerant system
• Simulation
• Control engineering
• Computing
• Model-based design

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz

Source URL: www.cs.technion.ac.il

• Electronic engineering
• Formal methods
• Predicate logic
• Hardware description languages
• Construction and Analysis of Distributed Processes
• Formal verification
• State transition system
• Model checking
• Petri net
• Models of computation
• Theoretical computer science
• Concurrency

– September 2011 HbA1c (Glycated haemoglobin) laboratory data formal change (from % to mmol/mol) – goes live 3 October 2011

Source URL: www.nzssd.org.nz

• Hemoglobins
• Biology
• Nutrition
• Endocrine system
• Glycated hemoglobin
• Diabetes mellitus
• Blood sugar
• A1C
• Glucose
• Diabetes
• Medicine
• Blood tests

Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a

Source URL: clip.dia.fi.upm.es

• Theoretical computer science
• Formal methods
• Semantics
• Abstract interpretation
• Formal languages
• Model theory
• Prolog
• Semantics of programming languages
• Programming language
• Software engineering
• Computing
• Logic in computer science

Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR

Source URL: www.cis.upenn.edu

• External variable
• Futures and promises
• Environment variable
• Free variables and bound variables
• Variable
• Closure
• SystemVerilog
• Software engineering
• Computing
• Synchronous programming language

Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a

Source URL: www.clip.dia.fi.upm.es

• Theoretical computer science
• Formal methods
• Semantics
• Abstract interpretation
• Formal languages
• Model theory
• Prolog
• Semantics of programming languages
• Programming language
• Software engineering
• Computing
• Logic in computer science

“Social Education” System in Japan 1. What is “Social Education” in Japan? 1.1. Concept and Legal Framework Adult education, non-formal education, out-of-school education, and various community-based activities a

Source URL: www.nier.go.jp

• Miyagi University of Education
• Hanshinkan Modernism
• Education in Japan
• Social education in Japan
• Japan